-
1 invariant formula
Математика: инвариантная формула -
2 invariant formula
мат. -
3 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
4 formula
а) формулировка- Bayes formula
- Bayesian formula
- Bethe-Salpeter formula
- Cauchy formula
- Cauchy dispersion formula
- Cayley formula
- dispersion formula
- Erlang formula
- Erlangian formula
- external reference formula
- invariant under stuttering formula
- Moivre formula
- molecular formula
- Nyquist formula
- Parseval's formula
- predicate formula
- Sabine formula
- satisfiable formula
- Shockley-Read formula
- Steinmetz formula
- Stirling's formula
- string formula
- structural formula
- syntactically monotone formula -
5 formula
а) формулировка•- Bayes formula
- Bayesian formula
- Bethe-Salpeter formula
- Cauchy dispersion formula
- Cauchy formula
- Cayley formula
- dispersion formula
- Erlang formula
- Erlangian formula
- external reference formula
- invariant under stuttering formula
- Moivre formula
- molecular formula
- Nyquist formula
- Parseval's formula
- predicate formula
- Sabine formula
- satisfiable formula
- Shockley-Read formula
- Steinmetz formula
- Stirling's formula
- string formula
- structural formula
- syntactically monotone formulaThe New English-Russian Dictionary of Radio-electronics > formula
-
6 invariant under stuttering formula
English-Russian electronics dictionary > invariant under stuttering formula
-
7 invariant under stuttering formula
The New English-Russian Dictionary of Radio-electronics > invariant under stuttering formula
-
8 инвариантная формула
Большой англо-русский и русско-английский словарь > инвариантная формула
-
9 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
10 construction
1) сооружение, строительство3) конструкция4) матем. построение5) строение; сооружение6) структура•construction subsidized by public funds — строительство, финансируемое из общественных фондов
constructions on a stereogram — матем. построения на стереографической проекции
-
11 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
12 topological
топологический base of topological space ≈ база топологического пространства basis of topological space ≈ базис топологического пространства category of topological space ≈ категория топологического пространства dual topological unitarization ≈ дуально топологическая унитаризация general topological space ≈ общетопологическое пространство hyperemetric topological group ≈ гиперметрическая топологическая группа hypermetric topological group ≈ гиперметрическая топологическая группа linearly topological algebra ≈ линейно топологическая алгебра local topological structure ≈ локальная топологическая структура topological direct integral ≈ топологический прямой интеграл topological direct summand ≈ топологическое прямое слагаемое topological field of sets ≈ топологическое тело множеств topological group extension ≈ топологическое расширение группы topological spectral value ≈ топологическое спектральное значение topological vector lattice ≈ топологическая векторная решетка - topological conjugacy - topological contractibility - topological convergence - topological correspondence - topological covering - topological decomposition - topological deformation - topological dimension - topological distribution - topological divisor - topological dual - topological duality - topological dynamics - topological embedding - topological entropy - topological equivalence - topological equivalent - topological field - topological flow - topological formula - topological formulation - topological game - topological genus - topological graph - topological group - topological groupoid - topological homeomorphism - topological homogeneity - topological homomorphism - topological identification - topological image - topological inclusion - topological index - topological interpretation - topological invariance - topological invariant - topological irreducibility - topological isomorphism - topological knot - topological lattice - topological limit - topological line - topological logic - topological manifold - topological method - topological model - topological modification - topological module - topological monoid - topological morphism - topological neighborhood - topological nilpotent - topological noise - topological object - topological ordering - topological pair - topological partition - topological plane - topological polygon - topological polyhedron - topological polynomial - topological product - topological proof - topological property - topological pseudoisotopy - topological quasicomponent - topological quotient - topological rank - topological realization - topological recurrence - topological relationship - topological representation - topological restriction - topological result - topological ring - topological section - topological self-mapping - topological semigroup - topological semimodule - topological sequence - topological similarity - topological simplex - topological sorting - topological space - topological sphere - topological stability - topological structure - topological subgroup - topological subspace - topological substitute - topological sum - topological supplement - topological surface - topological transformation - topological transitivity - topological tree - topological triangle - topological type - topological uniformization - topological weight (математика) топологическийБольшой англо-русский и русско-английский словарь > topological
-
13 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
14 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
15 derivation
2) матем. дифференцирование, взятие производной3) гидр. деривация4) электр. ответвление5) словотворчество; словообразование•
См. также в других словарях:
Invariant mass — The invariant mass, intrinsic mass, proper mass or just mass is a characteristic of the total energy and momentum of an object or a system of objects that is the same in all frames of reference. When the system as a whole is at rest, the… … Wikipedia
Casimir invariant — In mathematics, a Casimir invariant or Casimir operator is a distinguished element of the centre of the universal enveloping algebra of a Lie algebra. A prototypical example is the squared angular momentum operator, which is a Casimir invariant… … Wikipedia
Casson invariant — In 3 dimensional topology, a part of the mathematical field of geometric topology, the Casson invariant is an integer valued invariant of oriented integral homology 3 spheres, introduced by Andrew Casson.Kevin Walker (1992) found an extension to… … Wikipedia
Genus–degree formula — In classical algebraic geometry, the genus–degree formula relates the degree d of a non singular plane curve with its arithmetic genus g via the formula: A singularity of order r decreases the genus by .[1] Proofs The proof follows immediately… … Wikipedia
Geometric invariant theory — In mathematics Geometric invariant theory (or GIT) is a method for constructing quotients by group actions in algebraic geometry, used to construct moduli spaces. It was developed by David Mumford in 1965, using ideas from the paper… … Wikipedia
Gromov–Witten invariant — In mathematics, specifically in symplectic topology and algebraic geometry, Gromov–Witten (GW) invariants are rational numbers that, in certain situations, count pseudoholomorphic curves meeting prescribed conditions in a given symplectic… … Wikipedia
Loop invariant — In computer science, a loop invariant is an invariant used to prove properties of loops.Specifically in Floyd Hoare logic, the partial correctness of a while loop is governed by the following rule of inference::frac{{Cland I};mathrm{body};{I… … Wikipedia
J-invariant — nome q on the unit diskIn mathematics, Klein s j invariant, regarded as a function of a complex variable tau;, is a modular function defined on the upper half plane of complex numbers. We can express it in terms of Jacobi s theta functions, in… … Wikipedia
De Rham invariant — In geometric topology, the de Rham invariant is a mod 2 invariant of a (4k+1) dimensional manifold, that is, an element of – either 0 or 1. It can be thought of as the simply connected symmetric L group L4k + 1, and thus analogous to the other… … Wikipedia
Smith–Minkowski–Siegel mass formula — In mathematics, the Smith–Minkowski–Siegel mass formula (or Minkowski–Siegel mass formula) is a formula for the sum of the weights of the lattices (quadratic forms) in a genus, weighted by the reciprocals of the orders of their automorphism… … Wikipedia
Crofton formula — In mathematics, the Crofton formula, named after Morgan Crofton (1826–1915), is a classic result of integral geometry relating the length of a curve to the expected number of times a random line intersects it. Contents 1 Statement 2 Proof sketch… … Wikipedia